projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 766846f) | patch
* admin/admin.el (make-manuals): Don't bother with txt or dvi any more.
authorGlenn Morris <rgm@gnu.org>
Sat, 29 Jun 2013 01:51:32 +0000 (18:51 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 29 Jun 2013 01:51:32 +0000 (18:51 -0700)
commit573d723f72573530fe8df01fa5a1e31a13160fc0
tree6c2f3aca14e576cf4fb33b7c84bb0eb35a1ef9actree | snapshot
parent766846ffa9c08dc8afe833142e9e873045a6b463commit | diff
* admin/admin.el (make-manuals): Don't bother with txt or dvi any more.
(manual-txt): Remove.
(manual-pdf): Doc fix.
(manual-ps): Rename from manual-dvi.
admin/ChangeLog diff | blob | history
admin/admin.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.